Proof theory for admissible rules
نویسندگان
چکیده
منابع مشابه
Proof theory for admissible rules
The admissible rules of a logic are the rules under which the set of theorems of the logic is closed. In this paper a Gentzen-style framework is introduced for defining analytic proof systems that derive the admissible rules of various non-classical logics. Just as Gentzen systems for derivability treat sequents as basic objects, for admissibility, sequent rules are basic. Proof systems are def...
متن کاملAdmissible Proof Theory And
1 Prologue Ordinals made their entrance in proof theory through Gentzen's second consistency proof for Peano Arithmetic by transsnite induction up to " 0 , the latter being applied only to decidable predicates (cf. Gentzen 1938]). Gentzen's constructive use of ordinals as a method of analyzing formal theories has come to be a paradigm for much of proof theory from then on, particularly as exemp...
متن کاملAdmissible Proof Theory and Beyond
Ordinals made their entrance in proof theory through Gentzen’s second consistency proof for Peano Arithmetic by transfinite induction up to ε0, the latter being applied only to decidable predicates (cf. Gentzen [1938]). Gentzen’s constructive use of ordinals as a method of analyzing formal theories has come to be a paradigm for much of proof theory from then on, particularly as exemplified in t...
متن کاملComplexity of admissible rules
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition under which the admissibility problem is coNEXP -hard. We also show that admissibility in several well-known systems (including GL, S4, and IPC ) is in coNE , thus obtaining a sharp complexity estimate for admissibility in...
متن کاملAdmissible Rules of Modal Logics
We construct explicit bases of admissible rules for a representative class of normal modal logics (including the systems K4, GL, S4, Grz, and GL.3), by extending the methods of S. Ghilardi and R. Iemhoff. We also investigate the notion of admissible multiple conclusion rules.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.10.011